es\_realizer\{i:l\} $\subseteq\rho$ es\_realizer\{i':l\}